Tracked down, fixed, then simplified the fix for a bug that probably nobody else was going to encounter. The new code is in all cases more efficient so that's nice.