fixed fimpl-annotate bug, v.1.0.1.