small fix for 19.3