Some python and fci-mode related tweaks