Rik call info 1047353

These two lines look a bit funny on first glance. Better names would be helpful. Even ```timestamp``` instead of ```time```, even if it's semantically less accurate.