Fix bug 738