Minor change, might prevent floating point issues