fix another pesky gcc error
1 file changed