Minor fixes to arethusaUtil snippets