one build fix and one documentation fix

(as indicated on mailing list)