Fix printing of splices; part of #4124