isn't this superfluous when there is a default specified?