Minor update:
fixed server timestamp output
fixed a check-for-null bug in registration manager