We corrected a few details for compilation