BUGFIX fix a typo in a type specification
BUGFIX fix several broken type specs