Updates to reflect wslt.github.io/prose/