Update preconditions/postconditions in insert.

Minor cleanup/corrections.