Fix incorrect compilation