A User Interface Modification to HESK