Fixes bug 7484. We've had this bug back in a8eaa79e in
0.0.2pre14, when we first started allowing address masks.