Correctly give an error message only when PC is invalid