Fix minor documentation formatting issue