try to fix coverage highlighting of empty lines some more