small fix in types demo