Version 0.9.3 finalized