get_annotation fails if there is none instead of returning a Maybe