base.h: Fix formatting