I think I'd use >>> here too, though it is not an error as it is.