Small annotation corrections