Minor corrections

Fix an issue with my revision.