Util: #232: fix wrong cast

Copy+paste, sorry!
Util: #232: revert whitespace changes
Util: #232: untabify, adjust indentation