 Normal and Weyl symbols of a harmonic oscillator

For the quantum harmonic oscillator $H=\hslash \omega (a^{†}a+1/2)$, its normal symbol is $H_N=\hslash \omega (\bar{\psi }\psi +1/2)$. The Weyl ordering symbol of $a^{†}a$ is $\bar{\psi }\psi -1/2$, so $H_W=\hslash \omega \bar{\psi }\psi =p^2/(2m)+m{\omega }^2{q}^2/2$. Switching from adjacent-label coherent-state time slicing to a midpoint phase-space path integral must retain this ordering correction. Both correctly normalized constructions give the thermal partition function of a quantum harmonic oscillator $Z=[2\sinh (\beta \hslash \omega /2){]}^{-1}$; retaining the normal-symbol constant after switching prescriptions would count the zero-point shift twice.