Fix corner case bug found by inspecting code