Edited syntax and a couple words in Prologue