Found and fixed an error in PBC