Hi all, I've just released version 0.5.1 of the Realty Manager extension (extension key: "realty"). This version is a bug-fix release. Updating is highly recommended for all users of 0.5.0. Updating oelib also is recommended, but not required. The new version can be downloaded from the TER.