Fixing a problem with protocol not synthesizing a property