Yay, this fixes #333