You are correct!
According to this thread, a pin can source max 25milliAmperes
According to this one, max voltage on an unprotected analog pin is 4Volts.
EDIT: All of a sudden, voltage dividers don't seem like a good idea to be plugged directly in a pin if their power supply exceeds 3V3.
@MORA: do you know any better alternatives? I might have done this in the past and my photons could be at risk as we speak (poor them 
)