Forgot to output coverage profile