discover another bug, this one is on f4...