Thanks for reporting back. This fix is already in Maverick since a day or two, so marking it as fix released.
Thanks for reporting back. This fix is already in Maverick since a day or two, so marking it as fix released.