remove unneeded `default`