Small bug fix in Environment.java