Fixes #413 (forgot to add le operator)