fixup port examples, fixes #15