fixed small error that prevented compilation on linux