A couple of documentation updates