This commit fixes #139
Merge pull request #140 from JLiangWaterloo/fix-default-opposite

This commit fixes #139