Made the method getHeaderHeight public