small fix for gnu compiler