Minor fixes
Uneeded comment