Fixed: cvs diff broken by r4539 (#7176).
Authored by: jplang 2010-12-29
Parent: [r4576]
Child: [r4578]