Fixed missing token generation for specifications in supervisor