Forgot to push fix for issue #194