In CIDER, reinstate newline after prompt.