Correction to Thoughts on Mozilla