Re #6924 Remove comment