Fixing a stupid error with the strong type system