fixed another backwards invariant as #5