somewhat bash-specific