Make bash happy