minor edits about output type