fix specs, add a positive assertion