fix #5574, maybe