Fixed some silly compilation errors