PR #10

PR #10 is not in the merge queue.