Some more tiny tweaks in reaching definitions