No; I guess I forgot to commit the edit to remove it.