Use shorter header