Minor fix on build docs script.