This looks redundant too now. Not sure whether it should be removed, however.