Fix a few notification messages and bump version to 2013.5.