Exactly, this is copied from other TOPP tools.