Setting UITableView's tableHeaderView with a fractional height causes gutter after tableHeaderView