fixes #639

Annoying!