eligius push tiny fix