Isn't the pattern match here a little redundant?