actually fix #5