tidied header; added version