small correction to Fast.java