Fix for swift_hash error made by Niels