[changed] small changes in header