Fixes for the GH playground using 853