Fix forgotten comment