Fix wrong data types in debug/error messages