(/=) tests, nicer toString