minor bugfix to server-class migration script