Minor correction to JavaDoc.