Thanks for the report! Yes, we've already fixed that. But it's always better to report a bug multiple times than to miss it.
