Corrections to strict and non-strict semantics section