Didn't know what the default was; I'll remove that in a followup.