Comma after "default"?