ensure setting of @saving