fix stupid compilation bug