Fix previous commit. The leading dot mentioned in the commit message got lost.