Bugfix: Error occurs when no denotations.