Issue #2029509 by damiankloip: fix HEAD.