Issue #11: remove unnecessary long long