wrong cons type in example construction in conv.cpp