Fixed annotations, linters, examples