Some small fixes that might help people getting started using santop