Sync for making WING-NUS the master branch.