wrong header guard in modf