fixed operator<()