minor corrections, cleaning the code style