Slight bug fixes of the documentation of Button::update().