scop_plus.cc: fix typos in comments