@return was missing in JavaDoc of Check.instanceOf