fix bug in coverage