Fix a reference to a bug number in the source code (the bug numbers changed when SourceForge.net was bought by DICE and they redid the database backend).
Authored by: david_costanzo 2016-07-03
Parent: [r4143]
Child: [r4145]
