slight fix to fspec nongoals