corrects a linux error