Slight fix to Impl section