Minor update using Prose.