Compile fix for the coverage test