fix #255 (by tpenner)