weird. I guess it was a merge gone bad at some point (I rebased quite some stuff from develop). Will restore it.