I just sent a merge request that fixes this. I implemented Andrea's suggestion because it was easiest.
I just sent a merge request that fixes this. I implemented Andrea's suggestion because it was easiest.