cosmetic changes in <zero/prof.h>