Fix code comment regarding #556.