Address review comments

Thanks Peter for your corrections.

library/private_builtin.m:
    As above.