Fix PropsSI errors in High-Level API