Explain a possibly confusing ignored constraint

This also makes it compile with warning 26 (unused vars) marked