Fixed a tiny logical inconsitency that should have no effect in practice