Fix some erroneous comments in the documentation