small fix for user tools menu