A fix for a small bashism.