Protect against edgecase no options

Fixes a bug when internally debugging (#293) but is also probably a good idea.