Fix incorrect source formatting