fixes #535