Version 0.9.4 finalized