I just checked out the Javascript code.  It does behave this way.  Where do you think it differs?