Minor annotations