Release 0.9.3

Commit 0cadc5cac3a2b0e2553b01c6f58cc8054294417e fixes a critical bug.