This is correct - but it is removed. Was there an issue with the git commit sequence?