Fix formatting. #1