Minor fix
Fixed a faulty comment