fixed missing specfication part after eval