Not sure why that was removed; now re-added (commit 61104d1441881802bd60fb9891c0b3e0d25757f0)