Yep, that's clearly better.  I actually made this change at some point, but it looks like it got lost.