fix a small bug about annotations