Minor changes in options menu