Published bugfix. Same version, because nobody downloaded it yet anyway.