this fixes #252