Minor fix, for a temporary arrangement