Add missing coverage annotation