(minor) dead code (I guess you were going to write it another way and changed your mind)