We should just change the spec and ask Firefox to change