drop this comment (it mentions a different version, and isn't that useful anyway)