This completes issue 8.