0.4.2: update the messages box so that it works better on smaller screens
fix a typo
improve the credits header bar