Fixed a potential bug, but I think the fixed situation was impossible