Remove now-unneeded default value