This part was wrong. I've updated it. It is used only in embedded, so maybe we should move it there...