Commits for autopp

All autopp commits (2)

fix unexpected italichanami.github.io
Fix typos in spec (intance -> instance)model