Deleting music categories

I've finally got round to setting up some new playlists on my Dell based Kodi and I decided to remove some of the categories that I don't want. It seems that the only way to make the changes stick is to reboot Kodi. Is that right or am I being somewhat thick/unobservant by missing a great big SAVE CHANGES button?