Fixed NullPointerException in DocResults.size()