Fix skeleton header code from previous commit