Corresponding changes to sandy.h