Bakge.h: Minor tweaks