Fix proof
[tvansteenburgh] Add default values.
[jorge] Remove inactive maintainer.