more fixes to builtins doc