fix #108: previous patch was wrong