Fix for #303 in the sources