Waiving health benefit premiums in the public employees' benefits board.