fix for change to API of Options