Better category names in makeflow's manual