Then I suppose it's correct for now. Maybe we can change john.c later and revert this line.