Follow-up on commit 74a55d42: if we had had this "/" in place, things would have broken loudly instead of silently.