fix for dev options