Fill in missing details in defsystem