Minor changes to dev options