Fixed broken build introduced in last commit