Fix minor development issues

As I was investigating a bug (which I found out was already solved), I struggled a bit to set up my .venv, so I thought about simplifying a bit this.