Correction: Using EV charging control to provide building load flexibility Article in Energy Informatics (March 2023)