Fixed #67: gui not working in firefox