Release of 0.11.5

Bugfix release (#438, #417)