Some small changes suggested by ErikDeBruijn