The good thing is that, since the CR's are meant to be fairly broad brush, even when working as intended, there's not a whole lot lost if they are a bit off.
I also think the designers are on the record as saying that, when there was a doubt, they rounded up on the CR. So, if your players are...