[#637]