Build 1.5: minor documentation corrections