A user feedback is different to an actual radar that will be fixed by a dev.
However since they didn't post a radar ID, nor did they mention filing a radar, this is all pure speculation
alt Hacker News
However since they didn't post a radar ID, nor did they mention filing a radar, this is all pure speculation