The deepening of a mixed layer in a stratified fluid