Fix #13 again: oups, missing '!'