Fix bug in options extends