Michael should already be running XFCE. Or else!...