Version 0.8.5 finalized