I correct some bugs in the specification of Fortress