Comparison bugs and Slick auto formatting