$ 0 0 It looks like the problem is gone – I have remove the "Page titles" widget from the dashboard and added it again, and now it works perfectly.