Nice catch; thanks for pointing that out. Corrected and squashed into 0a24a4b