Added Ondrej's microcomments