Improved help message for make-concrete-symbolic and fixed some typos.