notes about specification errors