Fix comment #128