Update docs a bit; close #11