Version 0.5.1

This is a bug-fix release.

Most importantly, the stability of
adding stories has been improved.