Actually, I just copied the same line from the assertion above so that they read the same. Really no point to argue about though.