Get rid of some more casting.

Also some stylizing/translating