For once, it is a bug in C