Support for @deprecated fixes #71