Fixes to (5) and (6)