proper string termination