Added the comment #7427