Removed '@'-suppression. Fixes #2005.