Minor comment cosmetics.