There's a bug somewhere which is causing test17 to fail to
pass. Fixing it, meanwhile here's a commit.