Release bugfix version 1.3.8