property HeaderHeight: Integer;

This is HeaderHeight, a member of class TWizardPage.