spec for #556 and #503