Forgot to change the name of the documentation files