Make sure <basename> and <dirname> don't break property immutability rules. Minor corrections to their documentation.