make sure the options are actually created.

Fixes #4271