Fixed bug 712