Fix bug in options checker