Fix #1378 : sphinx host is replaced by sphinx port in admin panel