Corrected errors in tests; errors were present due to my being confused about which tail we were using.