fixed a bug with neither covered nor uncovered code