Is "default" needed here?