(Not sure if this is properly documented in our manual).