Avoid name-clashes