Added annotation tag (only allowed at the top level at the moment)