updated to main repo and fixed the guiproperties.html