cpp:overflows.h: touch up style