Ah, I suppose that does the trick (I honestly never am quite sure about the modulo definition for negative numbers ;)), but doesn't hurt to be explicite here too.