Adjust to changes in User class and minor changes in instruction ctors.