fixes #563