firefox: works under v31