Fixes CI bugs