Fix the types of minView/maxView (ticket #1134)