Testing github/trac fixes #2000 …