This shouldn't be here. @nherment removed these. I guess this pull is somehow gone bad..