Extra test to get the no-coverage condition