Remove redundant PROGN.
Fix buffer usage before data is copied.
Fix redundant PROGN.