thanks, not sure how that happened; fixed with 2ac7bb0 (also removed redundant sentence with da7de16).