switched to hz-3.1.2