PUZZLE: Fix formatting