fix for #7

additional fixes for the time_marker switch to double