Minor change in comment thanks to PR comment