minor front-end function added