0.12dev: Replace a comment with a docstring.
Closes #8916.
Authored by: rblank 2009-12-28
Parent: [r8989]
Child: [r8991]