Nasty use of with to save a few more bytes