fixes bug 1225