fix for istanbul coverage