Changed some methods in prtRvHmm from private to protected