bugfix release 0.9.3