Builder: minor fix for the document.