Oops, bug in the Javascript. Better test this time.