Minor fix for compilation --kazu