Fixes #683: Error was in simplication