Maybe fix issue #241; add a test.