Ups, fixed a compile error in last commit