quick fix for #3881

not sure if this is the right one, yet, waiting on feedback from @rgbkrk