Removed duplicate declaration of more_or_less_button. Fixes #795