added documentation for corrected @Type analysis