One last Mojo fix

Typed git push too quickly ... oh well