Small tweak to ab72b8622316ccf3a940ceead36469688cbbb9cd