Minor changes

Preconditions, a comment