Github issue #112: Fix spurious error message