Remove open issue #10, which has been closed.