tidied up the options file