My guess is simply a mistake by the original developer, so we're sort of stuck with it for now.