make output of timestamp optional

This is a quick and easy fix for #28.
Nitpick: This looks like a bogus change.