Fix #15790: with the '/' this time