fix #3854. oops -- not sure how i missed that