Removed remark that does not hold anymore.