Not sure if this is a bug exactly, but the on-buy effect of Ducal highlights cards in a light blue. Trashing normally uses a red.
Hovel trashing is also blue. I guess the origin being that it's a reaction, which Ducat isn't.
I think that I would prefer red.