Bug in method definition