small fixes for Pagoda hosting