Fix typos in operational post
Fix typos in operational post
Merged in bennofs/jozefg-blog (pull request #1)

Typo fixes for operational post
Fixed typo as per comment on impredicative.md