small fixes in commentaries