small fixes, more specs