Specification is not synchronising after modification