changes to make PL work on edu.cs from Wade and Craig