Minor bug fix, major documentation