Doing tickets (i.e., bugfixing)

[michielbdejong]

See also Let's do a "core team hack day" and create 0.10.1