Some fixes to the Flash instructions