Two small docu fixes