Issue #20: user parameter labels are now translatable