Explicit is better than implicit -- let's explicitly mention it in #914.