Minor formatting change in output, plus change to version number.
Authored by: sangwine 2011-11-21
Parent: [r47]
Child: [r49]