Fix to make it buildable again. Sorry.