Minor problem with previous coverage checker patch fixed