Another small corner case of #390