Fix typos
We need to always do git submodule init because we might add a submodule at any stage