Fix develop-specific compile error