Add test for fix in a46ede.

Resolves #439.