Bugfix in dlxnode::cover()