Good point - done in c021b3217d681eb5113a08178c25a8adb75f4a67