Add -spec to Erlang attributes, fixes #440