Re #10: Fix.