changing tag names to get rid of some name conflicts