Fixes #194

[ci skip]