Fixes #3551: restablish line missed out from merge 7b83915c8db2487dee3c52d3acf7b7d6e14ae3d8