make sure the options are actually created.

Fixes #4271
Fixes #4273