Fix bug in default options