Fixes for Github.io