minor fixes in the coding