fixes #1414