[throwaway45349]

An organisation the size of Google's probably fucks up thousands of times daily. I reckon <1% of issues are actually complained about, so yeah, I'd believe it's a mistake.