One small thing forgotten in core commit.