fix stupid copy-and-pasto in the previous commit