update messages
Remove white space.
Merge branch 'master' into user
Merge remote-tracking branch 'origin/master' into user
Update Jedi to '0.8.1-final0', bug fix release.