fixed binary names in documentation