A tiny fix in baseZinux