Fixes a string bug and a bug in loading the inspect model

Inspect model was previously always being loaded with asynchronous
termination semantics.