Fixed one redundant clause discovered by Martin Erwig.
Damn it!