Fix wrong debug output formatting