Fix the muting problem on nitpicking. Fixes #1013