Fix wrong types in format strings used in debug build