Sharpening an inequality in quantum ergodic theory