Quick hack to fix compilation

Created by  Eelco Dolstra  on July 27, 2020
BTSZJ7W2DGNGOOBOMTTZTUOAQ3IYMCYZLT2MJ7C3UZX5KSOZ4ZVAC
Change contents