minor: cast FileInputStream to InputStream