Slightly improved test for wk5ex2.