Erasing mention of TOPLAS.