Strictly speaking this should have != 0 otherwise you might get a warning.