Error in checking if the specification is already issued