Moved picked version printer so we can use print_()