#865: Remove extra #