Minor change in Program.java