model: corrected various LTLSPECs