fix #103 (should have already been fixed with cc9d5f4ef150, but I made a mistake)