Fix @cover's for options tests.