#532: