upgrade prettify and bug fix of <<