Fix for GNU sed