Small fix for debugging.