Some more documentation (and a fix)