Redundant default.

Missed that one, hat tip to yyang42