small fix needed for regtesting