Fixing compilation snafu