Looks like a small oversight. When printing the template repr for choice, the `default` field of the initializer is ignored.