Minor fix to comment indentation and typo in last commit