Comment by stefanom

Sorry about that. The bug should now be fixed if you reload the page.