small fixes to pushcompsc