It was probably an oversight. Removed.