Various small tweaks to ctypes examples