No joke; Franken to run for Senate