Don't mention a fixed bug