Documentation fixes, #19