updated starsem file from incorrect (not "different") format