Python 3 compat tweak in docs conf