formatting operator<()