Fix bug in bug.html