Release bugfix version 0.5.1