A few annotations