Fix syntax for default args

Works with v0.13.1.