Fixed some prototype errors in the documentation