Fix bug with rounding in coverage histogram