fix bug in spec for datum