Fix #232 runtime annotations from declaration