closed before merging, sorry, silly me. fix for Android