Amends for docking for 9a6eb0a and 7a02f4b. (#9138)
2 files changed