minor edits (printing out etc.)