Fix buttons_is_pushed()