"fixed so mini[2,3] works in prettyfunctionprint"
"fixed so mini[2,3] works in prettyfunctionprint"