fixes #224;