style corrections and documentations