Docs fix for #37