cosmetics: header guards