small fix for STD in Viewport.php