small fixes; thanks J!