fixes an issue concerning time printing