You could even omit HEAD but I don't think this is a good idea. Since HEAD is more descriptive...