More minor fixes to serial execution code path.