Update comment after bug is closed

The documented solution is to do what the script already did. So no code
changes are needed.