0.9.3 release (finally with correct version nr.)