This saves just two characters, is it worth it? In fact, taking this line into account, it's 13 extra characters. :)