Minor change to 'user tools' menu