Sorry, ignore this comment. This is not a bug report.