bugfix found during integration