not just @@@BUG@@@, but also include the number (for all references to bugs)