style changes, minor spec revisions