Corrected the chapter part about semantics