Update UserInterfaceSpecification.rst