Fix the type of Db_feed.get_feed_with_id