Bug 5611: Simple typo fix in the comments