bugfix: "definition" annotation was not properly extracted