minor
this was only true for posets