Minor change to ensure subformula names are printed first