Bugfix release

This is a bug-fix release fixing some minor issues reported in the meantime. (see mailing list: https://groups.google.com/forum/#!forum/tamiflex-discuss)