Small change in the Build doc