Re: [Hackage] #773: Default value for flag ignored, but explicit flag assignment is honored