tiny fix for nocover