Bug fix. Thanks XuDi for this bug report. This bug
was a typo.
Merge branch 'Lab3' into Lab4