It seems that the parameters are just gone for the tools I had configured, even when I fetch the tool via an API call. Is this a bug?