A small update that fixes three not very serious but potentially annoying bugs in the use of Dotclear.