I'm pretty sure we should not add this annotation here, since it has nested definitions.  Let's remove it for now.