Fixed strange bug

Just a Bash oddity.