This is fixed, but the change (along with a few others) did not make it into Maverick. We should get these changes into Maverick.
This is fixed, but the change (along with a few others) did not make it into Maverick. We should get these changes into Maverick.