district court’s denial of habeas corpus