By the way, this is a typical case where adding a new test case in http://testing.eiffel.com would make perfect sense to avoid regression in the future.