%r rather than %s in is_rotation.py output