fix small error in annotated let