Types are meaningless :) But then again we are spending a lot of time on two chars that are already commited and basically just a stylistic concern. Willing to drop it :)