fix #75

Thanks, that was an excellent tool.