Small bug in Http.java.