(Arithmetic) Small changes on the comments.