Tiny doc changes to Ctypes.py