fixed broken build from #1380