bucket.rst: fix encoding