Does this comment use `/` instead of commas?