more minor C semantics fixes

**please review**
why the extra space?