CtfTypes.hh: fix whitespaces