De HTML5 GUI moet nog wat worden opgeschoond.