Fix issue 3633: inconsistent assumptions