Fix build after #1150