Thank you for your quick answer mike!, I did the thing that you mentioned and besides that I found that some undeleted files were still in wordpress from a time when I had installed a cache plugin. It all seems ok for the moment except for another issue that I’ll post in another thread.