Small change to save a few bits