Fix broken build (bad previous commit)