fixes #562