removed some weird $id$ tags in the license comments