alter some specs to get dialyzer cleaner, but leave one in as it is
a) not needed, and b) changes code.