Finalized version 0.7.6.