updated files, maybe defining a correct a is needed