Fixed bug 3912