Fixed yet again an annoying artifact from a bad merge. I shouldn't git this late at night.