session type visitor bug corrected