yang Fri, 09 May 2014 19:36:26 -0700
It seems that the bug has already been fixed. I think it can be closed now.
Thank you anyway.
