Implements user interface for #717