Changed defm syntax