Do not write short description for commands in ini header

Fixes #94, again.