Hi Ben, please push. This fixes https://bugs.freedesktop.org/show_bug.cgi?id=33434 where I messed up. -- Lucas