fixed little bug introduced in e8e9161af441cf95eb0885698cb433f92bce20cc