fix #19 (oberon) and tweak oberon text.