minor, but annoying fix unless it was