November 8, 2015 at 11:24 #2187
Thank you for reporting this issue. Of course you are right, it is a bug, and we have addressed this issue just recently. Please update your software and let us know if it’s still a problem.
Once again, thank you!