A few sphinx doc fixes