Update description for precondition