minor additional annotations