Included 17/12 NuSMV fix from Toledo.