minor correction of build server output