R: better printing of clusterings, #742