rename so latex doesn't barf