fix BCNF statement and typos