Fix fatal error in comments

Introduced here #5914