This is not right ... it should be removed (see below).