Addendum to “Fake projective planes” Invent. Math. 168, 321–370 (2007)