fix for bad github commit