A couple of documentation fixes