fixed problem with definition decorations and proxy classes