Added getTimeString to the runtime and made a few other small fixes.