minor compilation fixes