Minor changes to refs.h