Oops, fix ReST mistake