Fixed enbugged case. See test/tests/sagittarius.scm