@amd64: True, but shouldn't