[#523] Fix formatting