Minor commenting corrections