Minor fixes to docs and prototype calls