Another small correction to a comment