Fix technical error in comments.