Fixes #5853: HEAD present in promise.st
Merge pull request #576 from peckpeck/bug_5853/head_present_in_promise_st

Fixes #5853: HEAD present in promise.st