Small fixes to Splice shared lib, #3433.