but this is a real bug, right?