Changing last names

Hi, Here is a question someone could answer. My relatives, my grandmother and her family, went by the last name of Sivertsen in Norway. However, here it was changed to Severson. Did they change it as they left Norway, or was it change by some bureacratic snafu when they came to the US in 1881?