Fix bug in options