Floating Ducks: Analysing and fixing a weird bug in DuckDB