9138ae9 hopefully fix #5