Let's capitalize HEAD in both these cases, since that matches git.