Fix test failure

Now all tests should pass. The error was introduced in the commit
4baa93d790213972436a24627cf219df8d9a8eb3.