Hacks necesarios para evitar bugs de Sphinx/whatever.