fixed typo in def kind