Fix enhancement #9