VOS: timestamp is printed correctly
Authored by: fweispfenning 2012-12-14
Parent: [r215]
Child: [r217]