Verified that this shortened code works.