Fix #709 (added this button back in)