Fix up lingering bug.