HotFix: use static cast for format conversion