Remove superfluous stuff in the README