Use fatalf for formatted output