Doubling feature of the Wigner function: finite phase space