use concise form of redirection