updated pretty printing for SVs