close #11. This bug was found by Dan Stieglitz.