Fix bug 519