As in #188, I think this should be on one line.