more minor C semantics fixes

**please review**