Corrected wrong volatility implementation
Fixed parameter annotations (informal type declarations)
Fixed address names