A couple of minor documentation improvements