Fixing bug. Error messages without intermediate "While .." lines are possible.