(#16) Fixed a test failure.