Loading annotation for tendermint.com