Small bugfix release
