update description
precondition