Don't show undefined "Default" value in help

Fixes #557.