Minor hot fix: completes 3e538a