fixes for hsc3-0.14