fix for https://github.com/justinclayton/pinocchio/issues/8