Minor fix to web console