Minor: comment in TiersVanilla