Update a bug number in a comment to match the bug's current number.
When FMSLogo started, all tickets from all projects shared the number space.
Later, each project was given its own bug numbers and all existing bugs were renumbered to be much smaller.
External references to the larger bug numbers were not updated.
