Wrong .c file for this function, isn't it?