Fixed build failure, from Felix Geyer