Fix formatting of standard builtins