bugfix: definition annotation was not extracted