tmaeda
tmaeda
ugh... I noticed this caused some wrong behavior. Please don't merge this yet. Sorry.
This is very ugly but I have no other choice.